Skip to content

Conversation

@lgoettgens
Copy link
Member

@lgoettgens lgoettgens commented Nov 14, 2025

Make use of JuliaDocs/Documenter.jl#2792, which is now available with Documenter 1.16.0.

This needs #5548 to be merged first.

@lgoettgens lgoettgens added documentation Improvements or additions to documentation release notes: not needed PRs introducing changes that are wholly irrelevant to the release notes labels Nov 14, 2025
@lgoettgens lgoettgens changed the title Enable more checks in documentation build Compat with Documenter 1.16; Enable more checks in documentation build Nov 14, 2025
@lgoettgens lgoettgens force-pushed the lg/treat_markdown_warnings_as_error branch from 9f73b88 to 6d95523 Compare November 14, 2025 13:35
@lgoettgens lgoettgens changed the title Compat with Documenter 1.16; Enable more checks in documentation build Enable more checks in documentation build Nov 14, 2025
@lgoettgens lgoettgens force-pushed the lg/treat_markdown_warnings_as_error branch from 6d95523 to c09c5b9 Compare November 14, 2025 13:41
@lgoettgens lgoettgens closed this Nov 14, 2025
@lgoettgens lgoettgens reopened this Nov 14, 2025
@codecov
Copy link

codecov bot commented Nov 14, 2025

Codecov Report

✅ All modified and coverable lines are covered by tests.
✅ Project coverage is 84.05%. Comparing base (0a85a7e) to head (c09c5b9).
⚠️ Report is 1 commits behind head on master.

Additional details and impacted files
@@           Coverage Diff           @@
##           master    #5547   +/-   ##
=======================================
  Coverage   84.05%   84.05%           
=======================================
  Files         738      738           
  Lines       99912    99912           
=======================================
+ Hits        83982    83984    +2     
+ Misses      15930    15928    -2     

see 1 file with indirect coverage changes

🚀 New features to boost your workflow:
  • ❄️ Test Analytics: Detect flaky tests, report on failures, and find test suite problems.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

documentation Improvements or additions to documentation release notes: not needed PRs introducing changes that are wholly irrelevant to the release notes

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant